Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A Course on Basic Model Theory / Haimanti Sarbadhikari, Shashi Mohan Srivastava
| A Course on Basic Model Theory / Haimanti Sarbadhikari, Shashi Mohan Srivastava |
| Autore | Sarbadhikari, Haimanti |
| Pubbl/distr/stampa | Singapore, : Springer, 2017 |
| Descrizione fisica | xix, 291 p. : ill. ; 24 cm |
| Altri autori (Persone) | Srivastava, Sashi Mohan |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 03C50 - Models with special properties (saturated, rigid, etc.) [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 12L12 - Model theory of fields [MSC 2020] |
| Soggetto non controllato |
Algebra
Forking Independence Löwenheim–Skolem Theorem Mathematical logic Minimal and O-Minimal Theories Model theory Monster Model Morley Categoricity Theorem Stable Theories |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123450 |
Sarbadhikari, Haimanti
|
||
| Singapore, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Course on Basic Model Theory / Haimanti Sarbadhikari, Shashi Mohan Srivastava
| A Course on Basic Model Theory / Haimanti Sarbadhikari, Shashi Mohan Srivastava |
| Autore | Sarbadhikari, Haimanti |
| Edizione | [Singapore : Springer, 2017] |
| Pubbl/distr/stampa | xix, 291 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Altri autori (Persone) | Srivastava, Sashi Mohan |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C60 - Model-theoretic algebra [MSC 2020] 03C50 - Models with special properties (saturated, rigid, etc.) [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 12L12 - Model theory of fields [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0123450 |
|
Sarbadhikari, Haimanti
|
||
| xix, 291 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Almost free modules : set-theoretic methods / Paul C. Eklof, Alan H. Mekler
| Almost free modules : set-theoretic methods / Paul C. Eklof, Alan H. Mekler |
| Autore | Eklof, Paul C. |
| Edizione | [Revised ed] |
| Pubbl/distr/stampa | Amsterdam [etc.], : Elsevier, 2002 |
| Descrizione fisica | XXI, 597 p. ; 23 cm |
| Altri autori (Persone) | Mekler, Alan H. |
| Soggetto topico |
03C60 - Model-theoretic algebra [MSC 2020]
20A15 - Applications of logic to group theory [MSC 2020] 03E05 - Other combinatorial set theory [MSC 2020] 03E75 - Applications of set theory [MSC 2020] |
| ISBN | 8-0-444-50492-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0092423 |
|
Eklof, Paul C.
|
||
| Amsterdam [etc.], : Elsevier, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Almost free modules : set-theoretic methods / Paul C. Eklof, Alan H. Mekler
| Almost free modules : set-theoretic methods / Paul C. Eklof, Alan H. Mekler |
| Autore | Eklof, Paul C. |
| Edizione | [Revised ed] |
| Pubbl/distr/stampa | Amsterdam, : Elsevier, 2002 |
| Descrizione fisica | XXI, 597 p. ; 23 cm |
| Altri autori (Persone) | Mekler, Alan H. |
| Soggetto topico |
03C60 - Model-theoretic algebra [MSC 2020]
20A15 - Applications of logic to group theory [MSC 2020] 03E05 - Other combinatorial set theory [MSC 2020] 03E75 - Applications of set theory [MSC 2020] |
| ISBN | 978-04-445-0492-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0092423 |
|
Eklof, Paul C.
|
||
| Amsterdam, : Elsevier, 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Equational Compactness in Rings : With Applications to the Theory of Topological Rings / David K. Haley
| Equational Compactness in Rings : With Applications to the Theory of Topological Rings / David K. Haley |
| Autore | Haley, David K. |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | iii, 167 p. ; 24 cm |
| Soggetto topico |
16-XX - Associative rings and algebras [MSC 2020]
16P10 - Finite rings and finite-dimensional associative algebras [MSC 2020] 13Jxx - Topological rings and modules [MSC 2020] 16P60 - Chain conditions on annihilators and summands: Goldie-type conditions, Krull dimension (associative rings and algebras) [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 13Lxx - Applications of logic to commutative algebra [MSC 2020] 16W80 - Topological and ordered rings and modules [MSC 2020] |
| Soggetto non controllato |
Compactification
Compactness Equations Frame Minimum Models Rings Topological rings |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261163 |
|
Haley, David K.
|
||
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Existentially closed Groups / Graham Higman, Elizabeth Scott
| Existentially closed Groups / Graham Higman, Elizabeth Scott |
| Autore | Higman, Graham |
| Pubbl/distr/stampa | New York, : Clarendon ; Oxford university, 1988 |
| Descrizione fisica | XIV, 156 p. ; 24 cm. |
| Altri autori (Persone) | Scott, Elizabeth |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020] 20F05 - Generators, relations, and presentations of groups [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 20E34 - General structure theorems of groups [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 20A15 - Applications of logic to group theory [MSC 2020] |
| ISBN |
01-985354-3-0
978-01-985354-3-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0056280 |
|
Higman, Graham
|
||
| New York, : Clarendon ; Oxford university, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Existentially closed Groups / Graham Higman, Elizabeth Scott
| Existentially closed Groups / Graham Higman, Elizabeth Scott |
| Autore | Higman, Graham |
| Pubbl/distr/stampa | New York, : Clarendon ; Oxford university, 1988 |
| Descrizione fisica | XIV, 156 p. ; 24 cm |
| Altri autori (Persone) | Scott, Elizabeth |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
20F10 - Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) [MSC 2020] 20F05 - Generators, relations, and presentations of groups [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 20E34 - General structure theorems of groups [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 20A15 - Applications of logic to group theory [MSC 2020] |
| ISBN |
01-985354-3-0
978-01-985354-3-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0056280 |
|
Higman, Graham
|
||
| New York, : Clarendon ; Oxford university, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Field arithmetic / Michael D. Fried, Moshe Jarden
| Field arithmetic / Michael D. Fried, Moshe Jarden |
| Autore | Fried, Michael D. <1942- > |
| Pubbl/distr/stampa | Berlin, : Springer, 1986 |
| Descrizione fisica | xvi, 458 p. : ill. ; 25 cm |
| Altri autori (Persone) | Jarden, Moshe |
| Soggetto topico |
12-XX - Field theory and polynomials [MSC 2020]
14G05 - Rational points [MSC 2020] 12E25 - Hilbertian fields; Hilbert's irreducibility theorem [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 03C20 - Ultraproducts and related constructions [MSC 2020] 12E30 - Field arithmetic [MSC 2020] 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] 12L12 - Model theory of fields [MSC 2020] 12L15 - Nonstandard arithmetic and field theory [MSC 2020] 12L05 - Decidability and field theory [MSC 2020] |
| Soggetto non controllato |
Absolute Galois Groups
Algebra Algebraic Geometry Finite Groups Galois Stratification Galois groups Galois theory Hilbertian Fields Irreducibility PAC Fields Profinite groups ultraproductS |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0263774 |
|
Fried, Michael D. <1942- >
|
||
| Berlin, : Springer, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Forcing, Arithmetic, Division Rings / Joram Hirschfeld, William H. Wheeler
| Forcing, Arithmetic, Division Rings / Joram Hirschfeld, William H. Wheeler |
| Autore | Hirschfeld, Joram |
| Pubbl/distr/stampa | Berlin, : Springer, 1975 |
| Descrizione fisica | vii, 266 p. ; 24 cm |
| Altri autori (Persone) | Wheeler, William Hollis |
| Soggetto topico |
16-XX - Associative rings and algebras [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03E35 - Consistency and independence results [MSC 2020] 16Kxx - Division rings and semisimple Artin rings [MSC 2020] 16S10 - Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) [MSC 2020] 14Axx - Foundations of algebraic geometry [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 03C68 - Other classical first-order model theory [MSC 2020] |
| Soggetto non controllato |
Algebra
Arithmetic Finite Forcing Models Recursion |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0256330 |
|
Hirschfeld, Joram
|
||
| Berlin, : Springer, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Groups, Modules, and Model Theory - Surveys and Recent Developments : In Memory of Rüdiger Göbel / Manfred Droste ... [et al.] editors
| Groups, Modules, and Model Theory - Surveys and Recent Developments : In Memory of Rüdiger Göbel / Manfred Droste ... [et al.] editors |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xxxiv, 475 p. : ill. ; 24 cm |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
16-XX - Associative rings and algebras [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] |
| Soggetto non controllato |
Abelian groups
Algebra and model theory Group theory Mathematical logic Model theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123791 |
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
03C60 - Model-theoretic algebra [MSC 2020]
(33)
- 20-XX - Group theory and generalizations [MSC 2020] (11)
- 03-XX - Mathematical logic and foundations [MSC 2020] (7)
- 20A15 - Applications of logic to group theory [MSC 2020] (6)
- 03C10 - Quantifier elimination, model completeness and related topics [MSC 2020] (5)